Joshua Sack Wiebe van der Hoek A Modal Logic for Mixed Strategies
نویسندگان
چکیده
Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games that allow mixed strategies. We present a modal logic for games in normal form with mixed strategies, and demonstrate its soundness and strong completeness. Characteristic for our logic is a number of infinite rules.
منابع مشابه
Local properties in modal logic
Article history: Received 18 August 2011 Received in revised form 1 March 2012 Accepted 22 April 2012 Available online 2 May 2012
متن کاملA Postscript to a Completeness Proof for Johan
We use our paper ‘A Complete Epistemic Logic for Multiple Agents’ ([7] as a demonstration of Johan’s influence on our work on epistemic logic: it uses several techniques and tools that in many ways go back to his early work on modal logic. We then end with two personal reflections
متن کاملOn the succinctness of some modal logics
Article history: Received 24 February 2012 Received in revised form 12 February 2013 Accepted 16 February 2013 Available online 18 February 2013
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013